To prove z*conjugate(z) = |z|^2